

(define (problem BW-rand-20)
(:domain blocksworld)
(:objects b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 b16 b17 b18 b19 b20  - block)
(:init
(handempty)
(on b1 b9)
(on b2 b7)
(on b3 b18)
(ontable b4)
(on b5 b13)
(on b6 b11)
(on b7 b3)
(on b8 b5)
(on b9 b12)
(on b10 b2)
(on b11 b16)
(on b12 b15)
(on b13 b14)
(ontable b14)
(on b15 b10)
(on b16 b17)
(ontable b17)
(on b18 b20)
(on b19 b1)
(ontable b20)
(clear b4)
(clear b6)
(clear b8)
(clear b19)
)
(:goal
(and
(on b1 b5)
(on b2 b7)
(on b3 b15)
(on b4 b10)
(on b5 b9)
(on b6 b16)
(on b10 b2)
(on b11 b13)
(on b12 b11)
(on b14 b18)
(on b15 b19)
(on b18 b1)
(on b19 b6)
(on b20 b17))
)
)


